(define (problem FR_4_10)
 (:domain first-response)
 (:objects  l1 l2 l3 l4  - location
	    f1 f2 - fire_unit
	    v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 - victim
	    m1 m2 m3 m4 - medical_unit
)
 (:init
        (adjacent l1 l1)
        (adjacent l1 l3)
        (adjacent l2 l2)
        (adjacent l2 l3)
        (adjacent l3 l1)
        (adjacent l3 l2)
        (adjacent l3 l3)
        (adjacent l4 l4)
        (fire l1)
        (fire l2)
        (fire l3)
        (fire l4)
        (fire-unit-at f1 l4)
        (fire-unit-at f2 l4)
        (hospital l1)
        (hospital l2)
        (medical-unit-at m1 l1)
        (medical-unit-at m2 l1)
        (medical-unit-at m3 l2)
        (medical-unit-at m4 l3)
        (victim-at v1 l4)
        (victim-at v10 l3)
        (victim-at v2 l3)
        (victim-at v3 l3)
        (victim-at v4 l2)
        (victim-at v5 l2)
        (victim-at v6 l1)
        (victim-at v7 l1)
        (victim-at v8 l4)
        (victim-at v9 l4)
        (victim-status v1 hurt)
        (victim-status v10 hurt)
        (victim-status v2 hurt)
        (victim-status v3 dying)
        (victim-status v4 dying)
        (victim-status v5 hurt)
        (victim-status v6 hurt)
        (victim-status v7 dying)
        (victim-status v8 dying)
        (victim-status v9 dying)
        (water-at l1)
        (water-at l2)
	)
 (:goal (and  (nfire l3) (nfire l3) (nfire l2) (nfire l2) (nfire l1) (nfire l1) (nfire l4) (nfire l4) (nfire l3) (nfire l3)  (victim-status v1 healthy) (victim-status v2 healthy) (victim-status v3 healthy) (victim-status v4 healthy) (victim-status v5 healthy) (victim-status v6 healthy) (victim-status v7 healthy) (victim-status v8 healthy) (victim-status v9 healthy) (victim-status v10 healthy)))
 )
